$\forall$$L$:(Top List), $n$:$\mathbb{Z}$. ($\parallel$$L$$\parallel$ $\leq$ $n$) $\Rightarrow$ (firstn($n$;$L$) $\sim$ $L$)